package com.gzhryc.servlet.jetty;

import java.util.Random;

import javax.servlet.http.HttpServletRequest;

import org.eclipse.jetty.server.Server;
import org.eclipse.jetty.server.session.DefaultSessionIdManager;

import com.gzhryc.common.logging.Logger;

public class JettyRedisSessionIdManager extends DefaultSessionIdManager {

	static Logger log = Logger.getLogger(JettyRedisSessionIdManager.class);

	public JettyRedisSessionIdManager(Server server) {
		super(server);
	}

	public JettyRedisSessionIdManager(Server server, Random random) {
		super(server, random);
	}

	@Override
	public String newSessionId(HttpServletRequest request, long created) {
		return super.newSessionId(request, created);
	}

	@Override
	public String newSessionId(long seedTerm) {
		return super.newSessionId(seedTerm);
	}

	@Override
	public String renewSessionId(String oldClusterId, String oldNodeId, HttpServletRequest request) {
		return super.renewSessionId(oldClusterId, oldNodeId, request);
	}
}
